#!/bin/sh
#
#Script to run dlvhex reasoning in an infinitive loop
#
#
cd /home/thang/study/project1/dlvhex/

i=0

while true
do
	
	echo "\n------ start reasoning -------"
	i=$(($i+1))
	echo $i
	date --rfc-3339=ns
	dlvhex --silent --firstorder driving_5set.dlp
	date --rfc-3339=ns	
	echo "------ sleeping -------"
	#sleep 1
done
